1. Decision problems for equational theories of relation algebras
Author: Andreka, Hajnal
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Relation algebras,، Decidability )Mathematical logic(
Classification :
QA
3
.
A475
no
.
604
